int sys_hello(char* name);

int add(int a, int b);
